An M-net Semantics of B(pn) 2
نویسندگان
چکیده
Using a class of high level Petri nets, M-nets, endowed with composition operators resembling those of CCS, we give the compositional semantics of B(PN) 2-a syntactically simple but semantically powerful concurrent programming language. We also give an associated low level net semantics and show the consistency of these high and low level semantics , as well as consistency with a previously deened low level semantics of B(PN) 2 .
منابع مشابه
OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract)
In this paper we present a translation from the object-based language OB(PN) 2 to a class of high-level Petri nets. The OB(PN) 2 language is an extension of B(PN) 2 as deened by Best and Hopkins, and the semantics is inspired by the B(PN) 2 semantics deened in terms of M-nets. The translation relies on the CCS-like composition operators deened for M-nets. Each program construct is translated to...
متن کاملOob(pn) 2 : an Object Oriented Petri Net Programming Notation (a Status Report)
In this paper we present an overview of the basic ideas involved in an ongoing project for giving Petri net semantics to an object-oriented language. At present the emphasis is not in the development of the language, but in the study of how far one can get with the existing Petri net machinery. The OOB(PN) 2 language is an extension of B(PN) 2 as deened by Best and Hopkins, and the semantics is...
متن کاملAn M-net Semantics of B(PN)
Using a class of high level Petri nets, M-nets, endowed with composition operators resembling those of CCS, we give the compositional semantics of B(PN) a syntactically simple but semantically powerful concurrent programming language. We also give an associated low level net semantics and show the consistency of these high and low level semantics, as well as consistency with a previously define...
متن کاملM - nets : an Algebra of High - level Petri Nets , with an Application to the Semantics ofConcurrent Programming
This paper describes a high-level Petri net model called M-nets (for modular multilabelled nets). A distinctive feature of this model is that it allows both: unfolding, as do most other high-level net models; and composition { in particular, synchronisation { in a process algebraic style, turning the set of M-nets into an algebraic domain. It turns out that the composition operations of this do...
متن کاملB(PN)2 - a Basic Petri Net Programming Notation
This paper presents the syntax of a concurrent programming notation which integrates a variety of process interaction techniques, its compositional Petri net semantics via the Box calculus, and an example of using the semantics for program verification.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995